131![Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org](https://www.pdfsearch.io/img/5e9e11d6c4123139392091ac78897c67.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-12-22 08:41:55
|
---|
132![Statically typed traits Kathleen Fisher AT&T Labs — Research Statically typed traits Kathleen Fisher AT&T Labs — Research](https://www.pdfsearch.io/img/b7c2696c0ed7d01ad15fab8021cc5c85.jpg) | Add to Reading ListSource URL: www.cs.uchicago.eduLanguage: English - Date: 2003-12-12 14:51:13
|
---|
133![A typed calculus of traits Kathleen Fisher AT&T Labs — Research A typed calculus of traits Kathleen Fisher AT&T Labs — Research](https://www.pdfsearch.io/img/28a0a655fe3a0ba71fdecf247528e5a6.jpg) | Add to Reading ListSource URL: people.cs.uchicago.eduLanguage: English - Date: 2010-10-12 09:58:47
|
---|
134![Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino](https://www.pdfsearch.io/img/0d1f8ae211ad68fcf46beed17f4e9b65.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2013-11-15 17:01:40
|
---|
135![J Autom Reasoning manuscript No. (will be inserted by the editor) J Autom Reasoning manuscript No. (will be inserted by the editor)](https://www.pdfsearch.io/img/5548c31924ec3f6a99f21d7163157ebc.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2010-09-06 11:25:12
|
---|
136![Epigram: Practical Programming with Dependent Types Conor McBride Epigram: Practical Programming with Dependent Types Conor McBride](https://www.pdfsearch.io/img/eaccf0e89c92806c41b2eb733d9f4ced.jpg) | Add to Reading ListSource URL: cs.ru.nlLanguage: English - Date: 2010-11-07 05:36:07
|
---|
137![Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics](https://www.pdfsearch.io/img/c112687646e7ca3e895614b9cbd347af.jpg) | Add to Reading ListSource URL: www.mscs.dal.caLanguage: English - Date: 2013-09-21 21:21:50
|
---|
138![Higher-Order Abstract Syntax∗ Frank Pfenning† Higher-Order Abstract Syntax∗ Frank Pfenning†](https://www.pdfsearch.io/img/2b1659021c3a706f1cdae37da25ad81e.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2001-01-03 16:03:41
|
---|
139![Epigram: Practical Programming with Dependent Types Conor McBride Epigram: Practical Programming with Dependent Types Conor McBride](https://www.pdfsearch.io/img/de98cd55b8f0442d2130d41009fb6fbb.jpg) | Add to Reading ListSource URL: cs.ru.nlLanguage: English - Date: 2010-11-07 05:36:07
|
---|
140![A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures A Transformational Approach to Generic Software Development Based on Higher-Order, Typed Functional Signatures](https://www.pdfsearch.io/img/988b780ccf3a827775e92165d9b1f918.jpg) | Add to Reading ListSource URL: doku.b.tu-harburg.deLanguage: English - Date: 2012-08-07 07:51:35
|
---|